<?php
	$email         = $_POST['empleado'];
	
	include "conexion.php";
	
	$query4 ="UPDATE user set administrator='1' WHERE user_mail='$email'";
	mysql_query($query4) or die("Error en la consulta4 SQL");
	
	include "cerrar_conexion.php"; 
	header('Location: http://localhost/grupo5/manage_admin1.php');

?>